J. W. Klop: ค้นหาบนเว็บ Z-Library

ประตูสู่ความรู้และวัฒนธรรมสำหรับคุณ

Don't use scam websites

ตัวกรองที่กำลังใช้อยู่

ตรงกับคำค้นหาทุกประการ

ตรงกับคำค้นหาทุกประการ

1

Russia’s Invasion of Ukraine: : The Origins Of The Ukraine Invasion, How The Crisis Began, The Russia Aggression, Martial Law And The Big Sanctions

Russia’s Invasion of Ukraine: : The Origins Of The Ukraine Invasion, How The Crisis Began, The Russia Aggression, Martial Law And The Big Sanctions

Anthony Brown KLOP

ปี:

2022

ภาษา:

english

ไฟล์:

PDF, 354 KB

0 / 0

english, 2022

2

Term Rewriting Systems

Term Rewriting Systems

Cambridge University Press

Terese, eds.:, Marc Bezem, Jan Willem Klop, Roel de Vrijer

ปี:

2003

ภาษา:

english

ไฟล์:

DJVU, 8.58 MB

0 / 0

english, 2003

3

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Jan Willem Klop (auth.), Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (eds.)

ปี:

1996

ภาษา:

english

ไฟล์:

DJVU, 2.40 MB

0 / 0

english, 1996

4

Combinatory Reduction Systems [PhD Thesis]

Combinatory Reduction Systems [PhD Thesis]

Mathematisch Centrum

Jan Willem Klop

ปี:

1980

ภาษา:

english

ไฟล์:

PDF, 7.43 MB

0 / 0

english, 1980

5

Dirk van Dalen Festschrift

Dirk van Dalen Festschrift

Utrecht University

Henk Barendregt, Marc Bezem, Jan Willem Klop (editors)

ปี:

1993

ภาษา:

english

ไฟล์:

PDF, 5.55 MB

0 / 0

english, 1993

6

Combinatory Reduction Systems [PhD Thesis]

Combinatory Reduction Systems [PhD Thesis]

Mathematisch Centrum

Jan Willem Klop

ปี:

1980

ภาษา:

english

ไฟล์:

DJVU, 3.37 MB

0 / 0

english, 1980

7

Dirk van Dalen Festschrift

Dirk van Dalen Festschrift

Utrecht University

Henk Barendregt, Marc Bezem, Jan Willem Klop (editors)

ปี:

1993

ภาษา:

english

ไฟล์:

DJVU, 2.63 MB

0 / 0

english, 1993

8

CONCUR '90 Theories of Concurrency: Unification and Extension: Amsterdam, The Netherlands, August 27–30, 1990 Proceedings

CONCUR '90 Theories of Concurrency: Unification and Extension: Amsterdam, The Netherlands, August 27–30, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Eike Best (auth.), J. C. M. Baeten, J. W. Klop (eds.)

ปี:

1990

ภาษา:

english

ไฟล์:

DJVU, 4.54 MB

0 / 0

english, 1990

9

Management for Beginners:

Management for Beginners:

ปี:

2014

ภาษา:

english

ไฟล์:

AZW3 , 198 KB

0 / 0

english, 2014

10

Management for Beginners:

Management for Beginners:

ปี:

2014

ภาษา:

english

ไฟล์:

EPUB, 184 KB

0 / 0

english, 2014

11

Cardiovasculaire ziektebeelden

Cardiovasculaire ziektebeelden

Bohn Stafleu van Loghum

C. Klöpping, R. Jansen

ปี:

2015

ภาษา:

dutch

ไฟล์:

PDF, 5.13 MB

0 / 0

dutch, 2015

12

Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings

Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

J. W. Klop (auth.), Tobias Nipkow (eds.)

ปี:

1998

ภาษา:

english

ไฟล์:

DJVU, 2.95 MB

0 / 0

english, 1998

13

Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994

Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994

Springer-Verlag London

J. A. Bergstra, J. W. Klop (auth.), A. Ponse PhD, C. Verhoef PhD, S. F. M. van Vlijmen Drs. (eds.)

ปี:

1995

ภาษา:

english

ไฟล์:

PDF, 27.19 MB

0 / 0

english, 1995

14

Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings

Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

J. R. Kennaway, J. W. Klop, M. R. Sleep (auth.), Ronald V. Book (eds.)

ปี:

1991

ภาษา:

english

ไฟล์:

DJVU, 5.31 MB

0 / 0

english, 1991

15

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

Springer-Verlag Berlin Heidelberg

J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.)

ปี:

1986

ภาษา:

english

ไฟล์:

DJVU, 2.88 MB

0 / 0

english, 1986